wayland: Clean up key repeat timeout
authorMatthias Clasen <mclasen@redhat.com>
Fri, 4 Mar 2016 18:54:39 +0000 (13:54 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 4 Mar 2016 18:56:26 +0000 (13:56 -0500)
When returning G_SOURCE_REMOVE from a callback, we need
to reset the source id as well.

gdk/wayland/gdkdevice-wayland.c

index dae132b5f737aac27bed038eb0d3056ec8da8fdd..9d2c7d87ceecd02d9f4a1a65b829ef0d3d6fc680 100644 (file)
@@ -1804,6 +1804,8 @@ keyboard_repeat (gpointer data)
                             &sync_after_repeat_callback_listener,
                             device);
 
+  device->repeat_timer = 0;
+
   return G_SOURCE_REMOVE;
 }